The November-December 2004 issue of IEEE Design & Test is now available at http://computer.org/dt. For your convenience, we've provided you with the table of contents for this issue. You received this email notification because you have an electronic subscription to IEEE Design & Test. NEW SERVICE NOTICE! A new SAVED SEARCH feature is now available for IEEE Computer Society members. Save your favorite digital library searches. You may also create and train your own search agents. You may also opt to send yourself new results via e-mail when new content comes online that match your preferences. Take advantage now at: http://search2.computer.org/advanced/simplesearch.jsp IEEE Design & Test of Computers November/December 2004 http://www.computer.org/dt/ Features Guest Editors' Introduction: Exploring Synergies for Design Verification Carl Pixley and Sharad Malik ALayered Adaptive Verification Platform for Simulation, Test, and Emulation Martin Zambaldi, Wolfgang Ecker, Renate Henftling, and Matthias Bauer Linking Simulation with Formal Verification at a Higher Level Serdar Tasiran, Yuan Yu, and Brannon Batson TPartition: Testbench Partitioning for Hardware-Accelerated Functional Verification Young-Il Kim and Chong-Min Kyung Enhanced Equivalence Checking Toward a Solidarity of Functional Verification and Manufacturing Test Generation Jayanta Bhadra, Narayanan Krishnamurthy, and Magdy S. Abadir Special Features Success-Driven Learning in ATPG for Preimage Computation Shuo Sheng and Michael S. Hsiao Titan II: An IPcomp Processor for 10-Gbps Networks Ioannis Papaefstathiou On-Chip Self-Calibrating Communication Techniques Robust to Electrical Parameter Variations Fr?d?ric Worm, Paolo Ienne, Patrick Thiran, and Giovanni De Micheli Jitter Measurements of High-Speed Serial Links Marcel A. Kossel and Martin L. Schmatz A Self-Correcting Active Pixel Sensor Using Hardware and Software Correction Glenn H. Chapman, Sunjaya Djaja, Desmond Y.H. Cheung, Yves Audet, Israel Koren, and Zahava Koren Designing Fault-Tolerant Techniques for SRAMBased FPGAs Fernando Gusm?o de Lima Kastensmidt, Gustavo Neuberger, Renato Fernandes Hentschke, Luigi Carro, and Ricardo Reis Web-Based Energy Exploration Tool for Embedded Systems Ikhwan Lee, Yongseok Choi, Youngjin Cho, Yongsoo Joo, Hyeonmin Lim, Hyung Gyu Lee, Hojun Shim, and Naehyuck Chang Departments EIC Message Book Reviews Standards Conference Reports Annual Index The Last Byte --------------------------------------------------- If you wish to be removed from this mailing list, send a message to listserv@computer.org with the following text in the body of the message: unsubscribe dt_subscribers ---------------------------------------------------